family of predicate

述词族